Kompyuter algebrasi

Matematika va informatikada^[1] kompyuter algebrasi, ramziy hisoblash yoki algebraik hisoblash deb ham ataladi. Bu matematik ifodalar va boshqa matematik obyektlarni manipulyatsiya qilish uchun algoritmlar va dasturiy taʼminotni oʻrganish va ishlab chiqishga ishora qiluvchi ilmiy sohadir. Kompyuter algebrasini ilmiy hisoblashning kichik sohasi deb hisoblash mumkin boʻlsa-da, ular odatda alohida sohalar sifatida koʻrib chiqiladi, chunki ilmiy hisoblash odatda taxminiy suzuvchi nuqta raqamlari bilan raqamli hisoblashga asoslanadi, ramziy hisoblash esa berilgan qiymatga ega boʻlmagan va oʻzgaruvchilarni oʻz ichiga olgan ifodalar bilan aniq hisoblashni taʼkidlaydi. belgilar sifatida boshqariladi.

Ramziy hisob-kitoblarni amalga oshiradigan dasturiy taʼminot dasturlari kompyuter algebra tizimlari deb ataladi. Tizim atamasi kompyuterda matematik maʼlumotlarni taqdim etish usulini, foydalanuvchi dasturlash tilini (odatda tildan farq qiladi) oʻz ichiga olgan asosiy ilovalarning murakkabligini anglatadi. Tizim, shuningdek, ajratilgan xotira menejeri, matematik ifodalarni kiritish va chiqarish uchun foydalanuvchi interfeysi, oddiy operatsiyalarni bajarish uchun katta tartiblar toʻplami, masalan, ifodalarni soddalashtirish, zanjir qoidasi yordamida differentsiallash, polinom faktorizatsiyasi, noaniq integratsiya va boshqalarni amalga oshirish uchun ishlatiladi.

Kompyuter algebrasi matematikada tajriba oʻtkazish va raqamli dasturlarda qoʻllaniladigan formulalarni loyihalash uchun keng qoʻllaniladi. Bundan tashqari, ochiq kalit kriptografiyasida boʻlgani kabi, sof raqamli usullarni bajarish qiyin boʻlgan vaziyatlar uchraganda yoki baʼzi bir chiziqsiz hisoblashlarni bajarish uchun toʻliq ilmiy hisoblashlarni amalga oshirishda ishlatiladi.

1. ↑ „ACM Association in computer algebra“.